import "poseidon"
-- Test simple8
-- ==
-- entry: simple8_test
-- input { 5 }
-- output { [[1268321962943061524u64, 14734993503448812560u64, 18034603940993995658u64, 3104019895137717477u64],
--           [10995972505292001199u64, 17865534512424957083u64, 8587190255961617306u64, 7897662749342968582u64],
--           [16178010229119263899u64, 13010854163453830554u64, 10439949954613982629u64, 2530811627786879353u64],
--           [12770435378198366767u64, 12273694882464091504u64, 11099785331338426777u64, 6041376865343808761u64],
--           [9928799194434130384u64, 7506436120463506388u64, 8762943653766285922u64, 1919693068824444217u64]] }

entry simple8_test (n: i32) = simple8 n
